[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 107 55 48 68 61 0 0 0

N.S.

1 1.15 0.59 0.52 0.73 0.66 0.00 0.00 0.00

time (sec)

N/A 0.239 0.024 0.444 0.292 0.254 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 91 71 98 77 59 0 0 0

N.S.

1 1.18 0.92 1.27 1.00 0.77 0.00 0.00 0.00

time (sec)

N/A 0.228 0.043 0.037 0.268 0.256 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 71 46 39 48 52 0 0 0

N.S.

1 1.09 0.71 0.60 0.74 0.80 0.00 0.00 0.00

time (sec)

N/A 0.207 0.020 0.026 0.227 0.252 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 55 61 76 56 48 0 70 39

N.S.

1 1.12 1.24 1.55 1.14 0.98 0.00 1.43 0.80

time (sec)

N/A 0.194 0.018 0.026 0.235 0.237 0.000 0.349 0.042

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 27 25 37 0 35 26

N.S.

1 1.00 1.00 0.90 0.83 1.23 0.00 1.17 0.87

time (sec)

N/A 0.166 0.048 0.016 0.231 0.244 0.000 0.291 2.684

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 57 42 66 0 0 0 0 0

N.S.

1 1.33 0.98 1.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.331 0.033 0.201 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 57 51 22 65 0 36 0

N.S.

1 1.00 1.78 1.59 0.69 2.03 0.00 1.12 0.00

time (sec)

N/A 0.198 0.021 0.036 0.327 0.259 0.000 0.290 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 35 35 27 38 0 50 0

N.S.

1 1.00 0.92 0.92 0.71 1.00 0.00 1.32 0.00

time (sec)

N/A 0.181 0.008 0.026 0.357 0.248 0.000 0.301 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 78 75 43 90 0 62 0

N.S.

1 1.08 1.20 1.15 0.66 1.38 0.00 0.95 0.00

time (sec)

N/A 0.212 0.058 0.027 0.316 0.268 0.000 0.296 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 71 45 45 48 48 0 77 0

N.S.

1 1.08 0.68 0.68 0.73 0.73 0.00 1.17 0.00

time (sec)

N/A 0.211 0.017 0.027 0.337 0.268 0.000 0.295 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 103 104 95 63 101 0 85 0

N.S.

1 1.11 1.12 1.02 0.68 1.09 0.00 0.91 0.00

time (sec)

N/A 0.239 0.032 0.036 0.337 0.254 0.000 0.294 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 152 80 112 99 99 0 0 0

N.S.

1 1.15 0.61 0.85 0.75 0.75 0.00 0.00 0.00

time (sec)

N/A 0.885 0.084 0.056 0.263 0.248 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 123 77 92 0 92 0 0 0

N.S.

1 1.16 0.73 0.87 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.822 0.056 0.046 0.000 0.256 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 102 64 78 70 82 0 0 0

N.S.

1 1.13 0.71 0.87 0.78 0.91 0.00 0.00 0.00

time (sec)

N/A 0.602 0.073 0.052 0.258 0.255 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 71 58 58 0 73 0 0 0

N.S.

1 1.11 0.91 0.91 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.533 0.041 0.039 0.000 0.241 0.000 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 45 39 39 32 59 0 62 0

N.S.

1 1.15 1.00 1.00 0.82 1.51 0.00 1.59 0.00

time (sec)

N/A 0.334 0.021 0.098 0.231 0.271 0.000 0.296 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 79 63 98 0 0 0 0 0

N.S.

1 1.27 1.02 1.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.435 0.027 0.097 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 61 92 138 0 0 0 0 0

N.S.

1 1.02 1.53 2.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.534 0.213 0.165 0.000 0.000 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 81 39 65 0 98 0

N.S.

1 1.00 1.00 1.69 0.81 1.35 0.00 2.04 0.00

time (sec)

N/A 0.421 0.015 0.179 0.380 0.247 0.000 0.317 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

114 110 144 171 0 0 0 0 0

N.S.

1 0.96 1.26 1.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.830 0.183 0.245 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 96 69 123 72 85 0 147 0

N.S.

1 1.01 0.73 1.29 0.76 0.89 0.00 1.55 0.00

time (sec)

N/A 0.677 0.063 0.196 0.340 0.251 0.000 0.346 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 359 130 190 165 151 0 0 0

N.S.

1 1.55 0.56 0.82 0.71 0.65 0.00 0.00 0.00

time (sec)

N/A 2.180 0.103 0.062 0.252 0.251 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 265 143 150 0 142 0 0 0

N.S.

1 1.45 0.78 0.82 0.00 0.78 0.00 0.00 0.00

time (sec)

N/A 1.747 0.108 0.049 0.000 0.274 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 201 103 128 116 124 0 0 0

N.S.

1 1.30 0.66 0.83 0.75 0.80 0.00 0.00 0.00

time (sec)

N/A 1.166 0.072 0.046 0.248 0.262 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 125 113 88 0 112 0 0 0

N.S.

1 1.17 1.06 0.82 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.838 0.070 0.039 0.000 0.268 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 76 68 61 57 90 0 98 0

N.S.

1 1.12 1.00 0.90 0.84 1.32 0.00 1.44 0.00

time (sec)

N/A 0.458 0.022 0.088 0.260 0.247 0.000 0.304 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 106 82 132 0 0 0 0 0

N.S.

1 1.22 0.94 1.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.553 0.039 0.094 0.000 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 101 128 0 0 0 0 0 0

N.S.

1 0.97 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.743 0.137 0.000 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F(-2) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

98 106 92 116 0 0 0 0 0

N.S.

1 1.08 0.94 1.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.794 0.639 0.174 0.000 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

183 176 201 0 0 0 0 0 0

N.S.

1 0.96 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.730 0.425 0.000 0.000 0.000 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F(-2) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

174 188 220 191 0 0 0 0 0

N.S.

1 1.08 1.26 1.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.623 0.511 0.226 0.000 0.000 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 537 175 256 0 208 0 0 0

N.S.

1 1.75 0.57 0.84 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 5.346 0.127 0.059 0.000 0.258 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 448 158 228 201 189 0 0 0

N.S.

1 1.64 0.58 0.83 0.73 0.69 0.00 0.00 0.00

time (sec)

N/A 4.532 0.101 0.060 0.269 0.250 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 313 143 180 0 176 0 0 0

N.S.

1 1.46 0.67 0.84 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 3.090 0.089 0.056 0.000 0.257 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 247 122 152 143 154 0 0 0

N.S.

1 1.36 0.67 0.84 0.79 0.85 0.00 0.00 0.00

time (sec)

N/A 2.345 0.092 0.049 0.270 0.275 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 141 104 104 0 138 0 0 0

N.S.

1 1.18 0.87 0.87 0.00 1.15 0.00 0.00 0.00

time (sec)

N/A 1.402 0.064 0.044 0.000 0.261 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 91 77 71 73 112 0 125 0

N.S.

1 1.18 1.00 0.92 0.95 1.45 0.00 1.62 0.00

time (sec)

N/A 0.655 0.025 0.105 0.222 0.254 0.000 0.366 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 131 103 165 0 0 0 0 0

N.S.

1 1.27 1.00 1.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.676 0.031 0.111 0.000 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 149 478 0 0 0 0 0 0

N.S.

1 0.99 3.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.887 0.452 0.000 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F(-2) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

115 126 112 149 0 0 0 0 0

N.S.

1 1.10 0.97 1.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.937 0.781 0.161 0.000 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

268 258 595 0 0 0 0 0 0

N.S.

1 0.96 2.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.124 2.109 0.000 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 47 40 40 0 0 0 0 0

N.S.

1 0.85 0.73 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.316 0.069 0.309 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 38 33 33 0 0 0 0 0

N.S.

1 0.88 0.77 0.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.310 0.066 0.210 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 36 31 31 0 0 0 0 0

N.S.

1 0.88 0.76 0.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 0.054 0.053 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 27 24 24 0 0 0 0 0

N.S.

1 0.93 0.83 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.292 0.050 0.040 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 25 20 22 0 0 0 0 0

N.S.

1 0.93 0.74 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.284 0.041 0.039 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 0 0 0 0 0

N.S.

1 1.00 1.00 0.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.290 0.019 0.035 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 0 0 0 0 0

N.S.

1 1.00 1.00 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.226 0.023 0.089 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.177 0.151 0.088 0.329 0.250 0.391 0.313 2.632

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.182 0.395 0.117 0.297 0.245 0.609 0.288 2.623

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

73 70 101 83 0 0 0 0 0

N.S.

1 0.96 1.38 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 0.161 0.215 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 58 54 0 0 0 0 0

N.S.

1 1.00 0.95 0.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.257 0.187 0.168 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

59 59 58 59 0 0 0 0 0

N.S.

1 1.00 0.98 1.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 0.185 0.047 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

42 42 44 28 0 0 0 0 0

N.S.

1 1.00 1.05 0.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.272 0.186 0.039 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 60 33 0 0 0 0 0

N.S.

1 1.00 1.54 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 0.097 0.096 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 233 12 10 12 12

N.S.

1 1.00 1.20 1.00 23.30 1.20 1.00 1.20 1.20

time (sec)

N/A 0.181 1.660 0.076 0.495 0.257 0.662 0.300 2.603

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 272 12 12 12 12

N.S.

1 1.00 1.20 1.00 27.20 1.20 1.20 1.20 1.20

time (sec)

N/A 0.185 3.963 0.102 0.586 0.267 1.184 0.287 2.635

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 138 107 123 0 0 0 0 0

N.S.

1 1.35 1.05 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.156 0.108 0.228 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 114 75 82 0 0 0 0 0

N.S.

1 1.31 0.86 0.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.204 0.121 0.173 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 108 69 84 0 0 0 0 0

N.S.

1 1.27 0.81 0.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.166 0.107 0.045 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 67 43 0 0 0 0 0

N.S.

1 1.09 0.99 0.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.143 0.033 0.040 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 59 55 45 0 0 0 0 0

N.S.

1 1.07 1.00 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.543 0.035 0.086 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 760 12 10 12 12

N.S.

1 1.00 1.20 1.00 76.00 1.20 1.00 1.20 1.20

time (sec)

N/A 0.176 0.527 0.077 1.039 0.239 1.112 0.295 2.865

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 883 12 12 12 12

N.S.

1 1.00 1.20 1.00 88.30 1.20 1.20 1.20 1.20

time (sec)

N/A 0.179 2.011 0.102 1.097 0.240 2.614 0.290 2.662

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

170 224 356 175 0 0 0 0 0

N.S.

1 1.32 2.09 1.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.043 0.295 0.224 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

155 191 188 114 0 0 0 0 0

N.S.

1 1.23 1.21 0.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.153 0.299 0.163 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

153 188 183 121 0 0 0 0 0

N.S.

1 1.23 1.20 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.693 0.280 0.046 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

105 114 131 60 0 0 0 0 0

N.S.

1 1.09 1.25 0.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.161 0.232 0.041 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 98 114 67 0 0 0 0 0

N.S.

1 1.14 1.33 0.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.817 0.156 0.094 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 1719 12 10 12 12

N.S.

1 1.00 1.20 1.00 171.90 1.20 1.00 1.20 1.20

time (sec)

N/A 0.171 3.679 0.083 2.220 0.238 2.422 0.307 2.653

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 1996 12 12 12 12

N.S.

1 1.00 1.20 1.00 199.60 1.20 1.20 1.20 1.20

time (sec)

N/A 0.182 6.010 0.108 2.583 0.244 5.362 0.295 2.659

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

182 172 162 0 0 0 0 0 0

N.S.

1 0.95 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.772 0.078 0.000 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 132 101 152 0 0 0 0 0

N.S.

1 0.95 0.73 1.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.719 0.065 1.139 0.000 0.000 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

120 116 100 0 0 0 0 0 0

N.S.

1 0.97 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.683 0.066 0.000 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 88 65 75 0 0 0 0 0

N.S.

1 0.95 0.70 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.636 0.058 0.205 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 55 45 41 0 0 0 0 0

N.S.

1 1.04 0.85 0.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.571 0.031 0.172 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 10 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.83 1.00 1.00

time (sec)

N/A 0.191 0.139 0.156 0.548 0.000 0.509 1.950 2.741

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

345 442 152 0 0 0 0 0 0

N.S.

1 1.28 0.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.603 0.084 0.000 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 289 101 242 0 0 0 0 0

N.S.

1 1.38 0.48 1.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.322 0.068 1.272 0.000 0.000 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

189 246 100 0 0 0 0 0 0

N.S.

1 1.30 0.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.849 0.061 0.000 0.000 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 141 84 105 0 0 0 0 0

N.S.

1 1.11 0.66 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.655 0.089 0.308 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 97 45 68 0 0 0 0 0

N.S.

1 1.13 0.52 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.642 0.027 0.241 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 10 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.83 1.00 1.00

time (sec)

N/A 0.177 0.143 0.167 0.539 0.000 7.204 3.588 2.720

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

394 504 162 0 0 0 0 0 0

N.S.

1 1.28 0.41 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.090 0.077 0.000 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 349 101 321 0 0 0 0 0

N.S.

1 1.36 0.39 1.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.605 0.061 1.409 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 281 100 0 0 0 0 0 0

N.S.

1 1.28 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.704 0.065 0.000 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 166 92 139 0 0 0 0 0

N.S.

1 1.06 0.59 0.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.583 0.117 0.293 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 109 45 81 0 0 0 0 0

N.S.

1 1.10 0.45 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.883 0.030 0.265 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 0 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.177 0.148 0.159 0.489 0.000 0.000 3.604 2.744

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 149 150 0 0 0 0 0 0

N.S.

1 0.91 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.420 0.088 0.000 0.000 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 101 101 67 0 0 0 0 0

N.S.

1 0.93 0.93 0.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.361 0.066 1.013 0.000 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 97 100 0 0 0 0 0 0

N.S.

1 0.92 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.346 0.064 0.000 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 70 49 37 0 0 0 0 0

N.S.

1 1.11 0.78 0.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.379 0.032 0.122 0.000 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 48 45 26 0 0 0 0 0

N.S.

1 1.12 1.05 0.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 0.025 0.114 0.000 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.171 0.133 0.180 0.537 0.000 0.613 2.470 2.789

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 14 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.17 1.00 1.00

time (sec)

N/A 0.177 0.417 0.180 0.493 0.000 1.197 2.252 2.679

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

193 181 201 0 0 0 0 0 0

N.S.

1 0.94 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.390 0.215 0.000 0.000 0.000 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 137 124 191 0 0 0 0 0

N.S.

1 0.96 0.87 1.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.328 0.153 2.012 0.000 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

135 129 139 0 0 0 0 0 0

N.S.

1 0.96 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.324 0.134 0.000 0.000 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 95 63 85 0 0 0 0 0

N.S.

1 1.07 0.71 0.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.377 0.078 0.410 0.000 0.000 0.000 0.000 0.000

[next] [front] [up]